More from this Author

Formal Methods for Industrial Critical Systems

by María Alpuente (Editor), Byron Cook (Editor), Christophe Joubert (Editor), María Alpuente (Editor)